KEYWORD |
Keyword: RTL DEBUGGING; EXPLAINABLE AI; PROGRAM REPAIR; LAR
TESI AZIENDA TESI ALL'ESTERO ARMADA: A Framework for Automatic Hardware Design Debugging and Repair QUER STEFANO DAUIN - GR-13 - METODI FORMALI - FM |
KEYWORD |
TESI AZIENDA TESI ALL'ESTERO ARMADA: A Framework for Automatic Hardware Design Debugging and Repair QUER STEFANO DAUIN - GR-13 - METODI FORMALI - FM |